морфизм диаграмм

См. также в других словарях:

• Морфизм — Теория категорий  раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… …   Википедия

• ФУНКТОРНЫЙ МОРФИЗМ — аналог понятия гомоморфизма (левых) модулей с общим кольцом скаляров (роль кольца при этом играет область определения функторов, а сами функторы играют роль модулей). Пусть F1 и F2 одноместные крвариантные функторы из категории в категорию… …   Математическая энциклопедия

• Теория категорий — Теория категорий  раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Теория категорий занимает центральное место в современной математике[1], она также нашла… …   Википедия

• Категория (математика) — Теория категорий  раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… …   Википедия

• Контравариантный функтор — Теория категорий  раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… …   Википедия

• ПОСЛЕДОВАТЕЛЬНОСТЕЙ КАТЕГОРИЯ — частный случай общей конструкции категории функторов или категории диаграмм. Пусть множество целых чисел, снабженное обычным отношением порядка. Тогда можно рассматривать как малую категорию, объектами к рой являются целые числа, а морфизмами… …   Математическая энциклопедия

• КАТЕГОРИЯ — понятие, выделяющее ряд алгебраич. свойств совокупностей морфизмов однотипных математич. объектов (множеств, топологич. пространств, групп и т. п.) друг в друга при условии, что эти совокупности содержат тождественные отображения и замкнуты… …   Математическая энциклопедия

• АБЕЛЕВА КАТЕГОРИЯ — категория, обладающая рядом характерных свойств категории всех абелевых групп. А. к. были введены как основа абстрактного построения гомологич. алгебры (см. [4]). Категория наз. абелевой (см. [2]), если она удовлетворяет следующим аксиомам: А0.… …   Математическая энциклопедия

• Система графов — Системой графов является такая совокупность или множество графов, где между элементами зафиксировано соотношение. Графы систематизируются исходя из характеристик, чаще всего, таких как планарность, регулярность, транзитивность и т.д. Большая… …   Википедия

• ДИАГРАММА — в категории С отображение Dориентированного графа Г с множеством вершин I и с множеством дуг Uв категорию С, при котором причем если дуга имеет начало iи конец j. Иногда под диаграммой в Спонимается образ отображения D, что позволяет использовать …   Математическая энциклопедия

• МНОГОМЕСТНЫЙ ФУНКТОР — мультифунктор, функция от нескольких аргументов, определенная на категориях, принимающая значения в категории и задающая одноместный функтор по каждому аргументу. Более точно, пусть даны га категорий , Построим декартово произведение категорий… …   Математическая энциклопедия